<?php
	// rimuove tutti gli spazi inutili tra i tag
	function html_trim($s){
		$ret = "";
		$l = strlen($s)-1;
		for($i=0;$i<$l; $i++)
		{
			if($s[$i]==">")
			{
				$j = $i+1;
				while($j<$l && ($s[$j]==" " || $s[$j]=="\r" ||
					$s[$j]=="\n" || $s[$j]=="\t"))
				{
					$j++;
				}
				if($s[$j]=="<")
				{
					$ret .= $s[$i];
					$i = $j;
				}
			}
			$ret .= $s[$i];
		}
		if($i==$l) $ret .= $s[$i];
		return $ret;
	}

?>